- type of problem
- type of problem1 KONST, MATH Aufgabe f (Art oder Formulierung der Aufgabe)type of problem2 TECH Aufgabenstellung f (angestrebtes Ziel)
English-german engineering dictionary. 2013.
type of problem
Schlagen Sie auch in anderen Wörterbüchern nach:
Type inhabitation problem — In simply typed lambda calculus, the type inhabitation problem is the following problem: given a type au, does there exist a lambda term M such that Gamma vdash M : au for some type environment Gamma? If the answer is positive, M is said to be an … Wikipedia
Type metal — The term type metal (sometimes called hot metal ) represents a range of metal alloys that are used in traditional typefounding and mechanical typesetting. History Although the knowledge of casting soft metals in moulds was well established before … Wikipedia
Problem — A problem is an obstacle which makes it difficult to achieve a desired goal, objective or purpose. It refers to a situation, condition, or issue that is yet unresolved. In a broad sense, a problem exists when an individual becomes aware of a… … Wikipedia
problem oriented language — (Computer Programming) language intended to solve a specific type of problem (such as simulation, list management, etc.) … English contemporary dictionary
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Problem gambling — Classification and external resources ICD 10 F63.0 ICD 9 312.31 … Wikipedia
Type I topoisomerase — Type I topoisomerases are divided into two structurally and mechanistically distinct topoisomerases: type IA and type IB. * Type IA topoisomerases change the linking number of a circular DNA strand by units of strictly 1. * Type IB topoisomerases … Wikipedia
Type 037 class submarine chaser — is also known as the Hainan class, designed by China to replace the Soviet S.O. 1 class submarine chaser. Early units had Dual Purposes Mk 26 76.2 mm guns and Russian RBU 1200 ASW rocket launchers, but eventually, these were replaced by Chinese… … Wikipedia
Type I and type II errors — In statistics, the terms Type I error (also, α error, or false positive) and type II error (β error, or a false negative) are used to describe possible errors made in a statistical decision process. In 1928, Jerzy Neyman (1894 1981) and Egon… … Wikipedia
Type physicalism — The relevant question: what will research discover? Can types of mental states be meaningfully described by types of physical events (type physicalism), or is there some other problem with this pursuit? Type physicalism (also known as reductive… … Wikipedia
Problem of other minds — For the contemporary music organization, see Other Minds. The problem of other minds has traditionally been regarded as an epistemological challenge raised by the skeptic. The challenge may be expressed as follows: given that I can only observe… … Wikipedia
